An Approach for Verification of Secure Access Control Using Security Pattern

According to OWASP-2021, more than 3,00,000 web applications have been detected for unauthenticated and unauthorised access leading a breach of security trust. Security patterns are commonly used in address the problem broken access. Web developers not experts implementing patterns. Therefore, it is necessary verify that pattern has applied, specifying original intent pattern. In this paper, an approach proposed analyses behavioural aspect meets requirement application. The extracts class diagram’s structural properties, relations, associations, security-related constraints verifies using first-order predicate logic. Experiments conducted diagrams detect instances control early design phase. will help minimise risk